Structural induction in institutions
نویسنده
چکیده
We develop a general logic-independent structural induction proof method at the level of abstract institutions. This provides a solid and uniform mathematical foundations to induction proof methodologies for a wide variety of actual logic-based formal specification frameworks. Our development is based technically upon an axiomatic approach to substitutions within institution theory.
منابع مشابه
The Structural Invariance of a Model of Washback to Test Takers’ Perceptions and Preparation: The Moderating Role of Institutions
Test washback is held to be complex and multifaceted in that a host of cultural, social, individual, test, and institutional factors are involved in shaping it. Thus far, the majority of washback studies have had as their focus the role of teachers in test washback or washback to teachers. How educational environments or institutions might function in isolation or in interaction with other fact...
متن کاملDesigning Structural Equation Modeling of Organizational Citizenship Behavior Influences on Success of Educational Institutions (Case study: Kanoon Qlmchy)
Article history: Received date: 28 August, 2016 Review date: 7 October 2016 Accepted date:25 October 2016 Printed online:1 September Purpose: the aim of the current study was to Designing Structural Equation Modeling of Organizational Citizenship Behavior Which Influences on Success of Kanoon Qlmchy as a famous Educational Institutions Method: The method of the current research descriptive...
متن کاملIdentify factors affecting internal response of educational institutions to society network evolution
Present research seeks to review factors affecting responsiveness of training organizations to society network evolution. Data from 500 directors and deputies of secondary schools in the city of Tehran using stratified random sampling gathered through a questionnaire and analyzed using structural equation modeling. Reliability of this questionnaire was calculated using Cronbach's alpha at 83%. ...
متن کاملارزیابی عملکرد الگوریتمهای فراابتکاری در تخمین پارامترهای ساختاری موتور القایی قفسه سنجابی
Induction motors are so important in industry, so their protection and maintenance seem a vital issue. Continuous control of structural parameter of such motors is the way that can protect them. Appearance of a small problem in motor can change the value of structural parameter of squirrel cage induction motor, such as; resistances of stator and rotor, inductances of stator an...
متن کاملEvaluating the performance of institutions and organizations related to rural sustainability Case: Dehdez district in Izeh County
Introduction One of the necessary principles of rural development is its management. A special approach of development is needed to be planned for every particular area. On the other hand, it is not useful to apply an integrated approach of development by new managing systems. At this point we can clearly understand the important role of institutions and organizations related to the structur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Comput.
دوره 209 شماره
صفحات -
تاریخ انتشار 2011